A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

1,3,5-三(羧基甲氧基)苯镍配位聚合物的合成、晶体结构及性质研究

采用溶剂热法,1,3,5-三(羧基甲氧基)苯为定向配体和乙酸镍反应构筑了一个新型的金属配位聚合物[Ni(TB)₂(H₂O)₂]_n·2H₂O,其中H₃TB=1,3,5-三(羧基甲氧基)苯,通过元素分析、IR及X射线单晶衍射对配合物结构进行表征,并研究其荧光性质、热稳定性及Hirshfeld表面作用力。单晶结构分析表明,该配合物属于三斜晶系,空间群$P \overline{1}$,配合物中心离子Ni(Ⅱ)分别与来自两个水分子上的氧原子及四个不同1,3,5-三(羧基甲氧基)苯配体的羧酸氧原子配位,形成六配位的NiO₆八面体构型,并通过与1,3,5-三(羧基甲氧基)苯配体的氧原子配位不断延伸形成具有孔洞结构的一维链状构型。配合物具有良好的荧光性能和热稳定性。Hirshfeld表面作用分析表明配合物分子中O…H/H…O作用占主导且占比为39.0%,而H…H的作用力占比为25.9%,O…O的作用力占比为13.6%。     

Enhanced dielectric and nonohmic properties of SrTiO3-modified CaCu3Ti4O12 ceramics

Dielectric and nonohmic properties of CaCu₃Ti₄O₁₂ (CCTO) ceramics can be modified by addition of SrTiO₃ (STO) in different molar proportions which were fabricated by a modified sol-gel method. XRD results indicated that all modified ceramics showed mixed phase consisting of both CCTO and STO. SEM images and grain size distribution probability also presented the change of microstructure with the addition of STO. The dielectric loss of the CCTO/0.4STO ceramics sintered at 1000 °C can be lower than 0.02 in a wide frequency (1 kHz–10 kHz), especially at 1 kHz, the dielectric loss of this sample is as low as 0.012. Furthermore, excellent nonlinear I–V electrical characteristic (high breakdown voltage to 54.15 kV/cm for CCTO/0.4STO sintered at 1000 °C) was observed as well. All the results indicated that the addition of STO does improve the dielectric properties and nonohmic characteristics of CCTO ceramics dramatically.     

Mg,N掺杂β-Ga2O3光电性质的第一性原理计算

通过基于密度泛函理论的第一性原理计算,研究了Mg单掺杂、N单掺杂和不同浓度的Mg-N共掺杂β-Ga₂O₃的结构性质、电子性质和光学性质,以期获得性能比较优异的p型β-Ga₂O₃材料。建立了五种模型:Mg单掺杂、N单掺杂、1个Mg-N共掺杂、2个Mg-N共掺杂和3个Mg-N共掺杂β-Ga₂O₃。经过计算,3个Mg-N共掺杂β-Ga₂O₃体系的结构最稳定。此外,在5种模型中,3个Mg-N共掺杂β-Ga₂O₃体系的禁带宽度是最小的,并且N 2p和Mg 3s贡献的占据态抑制了氧空位的形成,从而增加了空穴浓度。因此,3个Mg-N共掺杂β-Ga₂O₃体系表现出优异的p型性质。3个Mg-N共掺杂体系的吸收峰出现明显红移,在太阳盲区的光吸收系数较大,这归因于导带Ga 4s、Ga 4p、Mg 3s向价带O 2p、N 2p的带间电子跃迁。本工作将为p型β-Ga₂O₃日盲光电材料的研究和应用提供理论指导。     

Modifying the physicochemical properties,solubility and foaming capacity of milk proteins by ultrasound-assisted alkaline pH-shifting treatment

This study investigated the effects of different treatment of alkaline pH-shifting on milk protein concentrate (MPC), micellar casein concentrate (MCC) and whey protein isolate (WPI) assisted by the same ultrasound conditions, including changes in the physicochemical properties, solubility and foaming capacity. The solubility of milk proteins had a significant increase with gradual enhancement of ultrasound-assisted alkaline pH-shifting (p < 0.05), especially for MCC up to 99.50 %. Also, treatment made a significant decline in the particle size of MPC and MCC, as well as the turbidity of the proteins (p < 0.05). The foaming capacity of MPC, MCC, and WPI was all improved, especially at pH 11, and at this pH, the milk protein also showed the highest surface hydrophobicity. The best foaming capacity at pH 11 was the result of the combined effect of particle size, potential, protein conformation, solubility, and surface hydrophobicity. In conclusion, ultrasound-assisted pH-shifting treatment was found to be effective in improving the physicochemical properties and solubility and foaming capacity of milk proteins, especially MCC, with promising application prospect in food industry.     

Cu/CuO-Graphene Foam with Laccase-like Activity for Identification of Phenolic Compounds and Detection of Epinephrine

Although great progress has been made in the advancement of nanozymes, most of the studies focus on mimicking peroxidase, oxidase, and catalase, while relatively few studies are used to mimic laccase. However, the use of nanomaterials to mimic laccase activity will have great potential in environmental and industrial catalysis. Herein, Cu/CuO-graphene foam with laccase-like activity was designed for the identification of phenolic compounds and the detection of epinephrine. In a typical experiment, the formation mechanism of Cu/CuO-graphene foam was investigated during the pyrolysis process by thermogravimetric-mass spectrometry. As a laccase mimic, Cu/CuO-graphene foam exhibited excellent catalytic activity with a Michaelis-Menten constant and a maximum initial velocity of 0.17 mmol/L and 0.012 mmol∙L^-1∙s^-1, respectively. Based on this principle, Cu/CuO-graphene foam nanozyme could differentially catalyze phenolic compounds and 4-aminoantipyrine for simultaneous identification of phenolic compounds. Furthermore, a colorimetric sensing platform was fabricated for the quantitative determination of epinephrine, showing linear responses to epinephrine in the range of 3 mg/mL to 20 mg/mL with the detection limit of 0.2 mg/mL. The proposed Cu/CuO-graphene foam nanozyme could be applied for the identification of phenolic compounds and the detection of epinephrine, showing great potential applications for environmental monitoring, biomedical sensing, and food detection fields.     

Syntheses,crystal structures and properties of Cd(II) and Ag(I) complexes based on 2-p-methylphenyl-5-(2-pyridyl)-1,3,4-thiadiazole

Abstract

Complexes of [CdL₂(NO₃)₂]·1.5H₂O and [Ag₂(μ-L)₂(NO₃)₂] were synthesized by the reactions of 2-p-methylphenyl-5-(2-pyridyl)-1,3,4-thiadiazole (L) with Cd(NO₃)₂·4H₂O and AgNO₃, respectively. Their structures were determined by single crystal X-ray diffraction. The photophysical property and thermal stability were characterized by FT???IR, UV???Vis absorption, fluorescence, and thermogravimetric analysis (TGA). Both complexes belong to the triclinic system with space group p???1. The central metal of [CdL₂(NO₃)₂]·1.5H₂O has a distorted octahedral geometry [CdN₄O₂], while two central Ag(I) atoms of [Ag₂(μ-L)₂(NO₃)₂] exhibit distorted tetrahedral geometries [AgN₃O].     

Pyridine solvated dioxouranium complex with salen ligand: Synthesis,characterization and luminescence properties

A new derivative of dioxouranium(VI) salen complex, [UO2(L)(pyridine)], where [L = N,N′-Bis(2-hydroxybenzylidene)-2,2-dimethyl-1,3-propanediamine] is synthesized and characterized by elemental analysis (C, H, N), FT-IR, ESI-MS spectrometry, UV/Vis, fluorescence, ¹H and ¹³C NMR spectroscopy and thermal gravimetric (TG) study. Furthermore, the single crystal X-ray diffraction measurements of the complex were carried out at 100 and 273 K. The crystal structure measurements revealed that the complex has distorted pentagonal bipyramidal geometry with uranium atom located at the centre and bonded to two phenoxy oxygen and two azomethine nitrogen in tetradenate fashion and one nitrogen from pyridine making it seven coordinated. In addition, the photoluminescence property of the complex was also recorded.     

Highly stable dielectric frequency response of chemically synthesized Mn-substituted ZnFe2O4

The tenacity of the present study was to develop a material using an economical chemical route, having balance between magnetic and dielectric order parameters for maximum transmittance of electromagnetic waves in order to use them in shielding materials. In this context, Mn-Zn ferrites were prepared using a wet chemical based sol-gel auto-combustion technique. X-ray diffraction confirmed the pure phase formation of samples, while some impurity peaks were also present for the higher value of Mn substitution. Field emission scanning electron microscopy revealed a decrease in grain size with increasing Mn substitution. While energy dispersive X-ray spectroscopy confirmed the elemental composition of pure and Mn substituted samples, the dielectric constant, dielectric loss and tangent loss were decreased with increasing frequency and increasing Mn substitution. The complex electric modulus was found to be a function of frequency and values of complex electric modulus were increased with increasing frequency and Mn substitution. The complex impedance of RC series circuit and RC parallel circuit was also decreased with increasing both the parameters while AC conductivity was increased in the series. Dielectric frequency response was also studied for the prepared samples and the best match was found with expected results. The Nyquist and Cole-Cole plots revealed the semi-conductive behavior at higher frequency and Mn substitution also yielded the same results. The relative stability of the samples to be used as dielectric materials was also studied using Bode and Nichols plots, and a comparatively high gain margin was observed, well suitable for potential applications in electromagnetic shielding.